1. Intuitionism and proof theory. Proceedings of the summer conference at Buffalo, N.Y., 1968
پدیدآورنده : Edited by A. Kino, J. Myhill and R. E. Vesley
کتابخانه: (طهران)
موضوع : Congresses ، Intuitionistic mathematics
رده :
QA
9
.
C742